Search results for "Software Development and Testing"

showing 1 items of 1 documents

A Middleware to Develop and Test Vehicular Sensor Network Applications

2019

The Smart city ecosystem is composed of several networked devices that provide services to citizens and improve their quality of life. Basic services, which must be exposed by the underlying software infrastructure, require efficient networking and communication protocols to coordinate and manage all the system components. In particular, Vehicular Sensor Networks (VSNs) are envisioned as key components of smart cities. Verification is crucial in such a highly dynamic scenario to ensure operation correctness and to reduce the development cost of smart applications. However, the rigidity of existing middlewares makes development, reconfiguration, and testing rather difficult. In this work, we…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniIterative and incremental developmentSoftware VerificationCorrectnessComputer science020209 energyDistributed computing020208 electrical & electronic engineeringControl reconfiguration02 engineering and technologycomputer.file_formatcomputer.software_genreSmart CitieVehicular Sensor NetworkDistributed ApplicationSmart cityMiddleware (distributed applications)0202 electrical engineering electronic engineering information engineeringSymbolic processingSoftware Development and TestingExecutableCommunications protocolcomputerWireless sensor network2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE)
researchProduct